N-Way Model Merging Julia Rubin Marsha Chechik IBM Research at Haifa, Israel

Source URL: people.csail.mit.edu

A Software Flaw Taxonomy: Aiming Tools At Security Sam Weber Paul A. Karger Amit Paradkar (samweber|karger|paradkar)@watson.ibm.com IBM Research Division

Source URL: cwe.mitre.org

• Computer network security
• Software testing
• National security
• Secure communication
• Vulnerability
• Application security
• Software bug
• Threat
• Cross-site scripting
• Cyberwarfare
• Computer security
• Security

Security Path Verification with JasperGold

Source URL: www.research.ibm.com

Implicit Parallelism with Ordered Transactions Christoph von Praun IBM T.J. Watson Research Center  praun, cascaval  @us.ibm.com

Source URL: homes.cs.washington.edu

• Software engineering
• Automatic parallelization
• OpenMP
• Data parallelism
• Parallel programming model
• Data dependency
• Instruction-level parallelism
• Thread
• Concurrent computing
• Computing
• Parallel computing
• Computer programming

Use case 1: Stopped-meters Problem definition: A stopped-meter is a meter that reports zero during a predefined period of time. The zero report can occur for two reasons: either the meter is faulty or else there is legit

Source URL: research.ibm.com

HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM

Source URL: www.research.ibm.com

• Technology
• Business
• Computing
• Formal methods
• IBM Research
• OWASP
• Software verification
• Model checking
• Verification and validation
• Software testing
• Pharmaceutical industry
• Validity

Session Guarantees for Weakly Consistent Replicated Data Douglas B. Terry, Alan J. Demers, Karin Petersen, Mike J. Spreitzer, Marvin M. Theimer, and Brent B. Welch Computer Science Laboratory Xerox Palo Alto Research Cen

Source URL: www.researchgate.net

• NoSQL
• Transaction processing
• Computer storage
• Fault-tolerant computer systems
• Distributed computing architecture
• Session
• Replication
• Consistency model
• IBM Lotus Notes
• Data management
• Computing
• Data

Quality of Merge-Refactorings for Product Lines Julia Rubin1,2 and Marsha Chechik1 1 University of Toronto, Canada IBM Research in Haifa, Israel

Source URL: people.csail.mit.edu

High-Level Loop Optimizations for GCC Daniel Berlin IBM T.J. Watson Research Center David Edelsohn IBM T.J. Watson Research Center

Source URL: gcc.cybermirror.org

Combining Related Products into Product Lines Julia Rubin1,2 and Marsha Chechik1 1 University of Toronto, Canada IBM Research in Haifa, Israel

Source URL: people.csail.mit.edu